//#include <linux/syscall.h>
//#include <linux/syscall_user.h>
//#include <asm-i386/types.h>
//uint32_t get_pid(void){
//    return _syscall0(GETPID);
//}
//uint32_t write(char *str){
//   return _syscall1(PRINT, str);
//}
//
//void * malloc(uint32_t size) {
//    return (void*)_syscall1(MALLOC, size);
//}
//void free(void *addr) {
//    _syscall1(FREE, addr);
//}